$\forall$$R$:Realizer. \\[0ex]R{-}Feasible($R$) $\Rightarrow$ $\neg$Rplus?($R$) $\Rightarrow$ $\neg$Rnone?($R$) $\Rightarrow$ [[$R$]] $=$ @R{-}loc($R$): R{-}base{-}ma($R$) $\in$ Dsys